Parameterized Net Classes: A Uniform Approach to Petri Net Classes
نویسندگان
چکیده
منابع مشابه
A Uniform Approach to Petri Nets
The new concept of parameterized net classes is introduced in order to allow a uniform presentation of diierent kinds of Petri net classes. By diierent actualizations of the net structure parameter and the data type parameter we obtain several well-known net classes, like elementary nets, place-transition nets, coloured Petri nets, pred-icate/transition nets, and algebraic high-level nets, as w...
متن کاملIntroduction to Universal Parameterized Net Classes
The new concept of universal parameterized net classes is introduced in order to allow a uniform approach to diierent kinds of Petri net classes. By diierent actualizations of the net structure parameter and the data type parameter we obtain several well-known net classes, like elementary nets, place-transition nets, coloured nets, predicate transition nets, and algebraic high-level nets, as we...
متن کاملMapping CRC Card into Stochastic Petri Net for Analyzing and Evaluating Quality Parameter of Security (TECHNICAL NOTE)
CRC cards are unconventional method for identifying and describing classes, behavior and its responsibilities and collaborators of class. Representation of three categories of class, responsibilities and collaborators can give proper image of scenario. These cards are effective method for analyzing scenarios. With all positive features of CRC cards, of weaknesses of these cards are failure to s...
متن کاملAbstract Petri Nets as a Uniform Approach to High/Level Petri Nets
In the area of Petri nets, many diierent developments have taken place within the last 30 years, in academia as well as in practice. For an adequate use in practice, a coherent and application oriented combination of various types and techniques for Petri nets is necessary. In order to attain a formal basis for diierent classes of Petri nets we introduce the concept of abstract Petri nets. The ...
متن کاملFormal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کامل